
void uart0_init(int bps_cfg);
void uart0_putchar(char tx_data);
void print_c(const char *ptr);
